翻訳と辞書 |
Polygraph (mathematics) : ウィキペディア英語版 | Polygraph (mathematics)
In mathematics, and particularly in category theory, a polygraph is a generalisation of a directed graph. It is also known as a computad. They were introduced as "polygraphs" by Albert Burroni〔A. Burroni. ''Higher-dimensional word problems with applications to equational logic''. TCS, 115(1):43--62, 1993.〕 and as "computads" by Ross Street.〔R. Street. Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra, 8(2):149--181, 1976.〕 In the same way that a directed multigraph can freely generate a category, an ''n''-computad is the "most general" structure which can generate a free n-category. == References ==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Polygraph (mathematics)」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|